Using the DEVS Paradigm to Implement a Simulated Processor
نویسندگان
چکیده
This work is devoted to present the design and implementation of Alfa-1, a simulated computer with educational purposes. The DEVS formalism was used to attack the complexity of the design, allowing the definition of individual components that can be lately integrated into a modelling hierarchy. The tool is designed for the use in Computer Architecture and Organization courses. Its goal is allowing the students to acquire some practice in the design and implementation of hardware components by using simulation.
منابع مشابه
Neuro-DEVS, an hybrid environment to describe complex systems
Several methodologies has been developed to specify complex systems formally [1] [2] [3] [4] [5]. Among those formalisms stands the DEVS formalism and Artificial Neu-ral Networks. Although no direct comparisons are possible between the two techniques, both can provide good results when they are applied to the same problem. DEVS formalism is a set-theoretic formalism. It allows the definition of...
متن کاملDEVS/SOA: A Cross-Platform Framework for Net-centric Modeling & Simulation in DEVS Unified Process
Discrete EVent Specification (DEVS) environments are known to be implemented over middleware systems such as HLA, RMI, CORBA and others. DEVS exhibits concepts of systems theory and modeling and supports capturing the system behavior from the physical and behavioral perspectives. Further, they are implemented using Objectoriented languages like Java and C++. This research work uses the Java pla...
متن کاملZeigler DEVS NAMESPACE FOR INTEROPERABLE DEVS / SOA
Interoperable DEVS modeling and simulation is desirable to enhance model composability and reusability with DEVS models and non-DEVS models in different languages and platforms. The barrier to such interoperability is that DEVS simulators implement the DEVS modeling formalism in diverse programming environments. Although the DEVS formalism specifies the same abstract simulator algorithm, differ...
متن کاملTowards a Formal Semantics of Event-Based Multi-agent Simulations
The aim of this paper is to define a non-ambiguous operational semantics for event-based multi-agent modeling and simulation, applied to complex systems. A number of features common to most multi-agent systems have been retained: 1) agent proactive as well as reactive behavior, 2) concurrency : events can arrive simultaneously to an agent, an environment or any simulated entity and the actual c...
متن کاملModeling and Controlling a Robotic Arm with E-CD++
The E-CD++ tool uses the RT-DEVS (real-time DEVS) formalism for modeling, simulation and execution of realtime and embedded applications. This formal modelling and simulation approach can be used as a robust foundation for developing real-time and embedded applications. It eases verification of the product, as sometimes verifying an embedded application in the real environment can be very risky...
متن کامل